1. Analysis and design of digital circuits and computer systems

پدیدآورنده : Chirlian, Paul M

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Electronic digital computers-- Design and construction,، Digital electronics,، Electronic circuit design

رده :

TK

7888

.

3

.

C47

2. Computer-aided design techniques

پدیدآورنده : WOLFENDALE,E

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ELECTRONIC CIRCUIT DESIGN , ELECTRONIC DIGITAL COMPUTERS

رده :

TK

7867

.

W6

3. Design automation of digital systems

پدیدآورنده : / Edited by Melvin A. Breuer; Contributors; Ralph J., Preiss ...[et al.]

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Electronic digital computers - Design and construction,Electronic data processing - Circuit design

رده :

621

.

381

958

2

Br-D

4. Design automation of digital systems

پدیدآورنده : Breuer, Melvin A

موضوع : ، Electronic digital computers- Design and construction,، Electronic circuit design- Data processing

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

5. Design automation of digital systems

پدیدآورنده : Breuer, Melvin A.

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Design and construction ، Electronic digital computers,Electronic circuit design ، Electronic data processing

رده :

TK

7888

.

3

.

B7

6. Digital system design with LSI bit-slice logic

پدیدآورنده : Myers, Glenford J.

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : Design and construction ، Electronic digital computers,، Digital electronics,، Logic circuits,، Logic design,، Integrated circuits - Large scale integration,، Microprogramming

رده :

TK

7888

.

3

.

M93

1980

7. Euro-DAC '93, European Design Automation Conference with Euro-VHDL '93 : proceedings, CCH Hamburg, Germany, September 20-24, 1993

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Electronic digital computers-- Circuits-- Design-- Congresses,، Electronic circuit design-- Data processing-- Congresses,، Computer-aided design-- Congresses,، VHDL )Computer hardware description language(-- Congresses

رده :

TK

7888

.

4

.

E97

1993

8. Euro-DAC 93, European Design Automation Conference with Euro-VHDL 93 : proceedings, CCH Hamburg, Germany, September 20-24, 1993

پدیدآورنده : sponsored by Gesellschaft fur Informatik e.V. in cooperation with AFCET-France ... ]et al.[

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Electronic digital computers - Circuits - Design - Congresses , Electronic circuit design - Data processing - Congresses , Computer-aided design - Congresses , VHDL )Computer hardware description language( - Congresses

رده :

TK

7888

.

4

.

E97

1993

9. Euro-DAC 94, European Design Automation Conference with Euro-VHDL 94 : proceedings, Grenoble, France, September 19-23, 1994

پدیدآورنده : sponsored by Gesellschaft fur Informatik e.V. ...]et al.[

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Electronic digital computers - Circuits - Design - Congresses , Electronic circuit design - Data processing - Congresses , Computer-aided design - Congresses , VHDL )Computer hardware description language( - Congresses

رده :

TK

7888

.

4

.

E97

1994

10. From HDL descriptions to guaranteed correct circuit designs : proceedings of the IFIP WG 10.2 Working Conference on from HDL Descriptions to Guaranteed Correct Circuit Designs, Grenoble, France, 9-11 September, 1986

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Electronic circuit design-- Congresses,، Electronic digital computers-- Circuits-- Design and construction - Congresses

رده :

TK

7867

.

I4

1986

11. IBM electronic circuit analysis program; techniques and applications

پدیدآورنده : Jensen, Randall W

موضوع : ، Electronic circuit design,، Electronic digital computers

۳ نسخه از این کتاب در ۳ کتابخانه موجود است.

12. Ibm electronic circuit analysis program techniques & applications

پدیدآورنده : JENSEN,RANDALL W

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : ELECTRONIC CIRCUIT DESIGN , ELECTRONIC DIGITAL COMPUTERS

رده :

TK

7867

.

J4

13. Logical design of switching circuits

پدیدآورنده : Lewin, Douglas

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Switching theory,، Electronic digital computers - Circuits,، Electronic circuit design

رده :

TK

7868

.

S9

L4

1974

14. Symbolic model checking

پدیدآورنده : by Kenneth L. McMillan

موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

15. The design of logical machines

پدیدآورنده : Florine, Jean

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Electronic digital computers-- Design and construction,، Electronic circuit design-- Data processing,، Logic, Symbolic and mathematical

رده :

TK

7888

.

3

.

F5613

16. Transmission lines in computer engineering /

پدیدآورنده : Sol Rosenstark

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Electric circuit analysis,Electronic digital computers-- Circuits-- Design and construction,Microwave wiring

رده :

TK7888

.

4

.

R66

1994